TAGs: Equation solver